#include <assert.h>
#include <stdio.h>

float a = (float)1e15;
float b = (float)1;

int main()
{
  float c = a + b;
  float d = c - a;
  float e = b;

  printf("The value of d is: %.15lf\n", (double)d);
  assert(d == 1);

  return 0;
}
